$\vdash$  ($\lambda$$b$,$z$. b2i($b$)) $\in$ $\mathbb{B}\rightarrow$($\downarrow$True)$\rightarrow\mathbb{Z}$